Decidability of Parameterized Probabilistic Information Flow

Parameterized Verification of Many Identical Probabilistic Timed Processes

Parameterized verification aims at validating a system’s model irrespective of the value of a parameter. We introduce a model for networks of identical probabilistic timed processes, where the number of processes is a parameter. Each process is a probabilistic single-clock timed automaton and communicates with the others by broadcasting. The number of processes either is constant (static case),...

Decidability and Tameness in the Theory of Finite Semigroups

The Decidability Frontier for Probabilistic Automata on Infinite Words

We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi, and limitaverage conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs for probabilistic finite automata and present a complete characterization of the decidability and undecidability frontier of the quantitative ...

Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge

We propose a parameterized framework based on a Heyting algebra and Lukasiewicz negation for modeling uncertainty for belief. We adopt a probability theory as mathematical formalism for manipulating uncertainty. An agent can express the uncertainty in her knowledge about a piece of information in the form of belief types: as a single probability, as an interval (lower and upper boundary for a p...

Probabilistic Sufficiency and Algorithmic Sufficiency from the point of view of Information Theory

‎Given the importance of Markov chains in information theory‎, ‎the definition of conditional probability for these random processes can also be defined in terms of mutual information‎. ‎In this paper‎, ‎the relationship between the concept of sufficiency and Markov chains from the perspective of information theory and the relationship between probabilistic sufficiency and algorithmic sufficien...